Limits in Multiple Categories ( on Weak and Lax Multiple Categories , Ii )
نویسنده
چکیده
Continuing our first paper in this series, we study multiple limits in infinite-dimensional multiple categories. The general setting is chiral multiple categories a weak, partially lax form with directed interchanges. After defining multiple limits we prove that all of them can be constructed from (multiple) products, equalisers and tabulators all of them assumed to be respected by faces and degeneracies. Tabulators appear thus to be the basic higher limits, as was already the case for double categories. Intercategories, a laxer form of multiple category already studied in two previous papers, are also considered. In this more general setting the basic multiple limits mentioned above can still be defined, but their general theory is not developed here.
منابع مشابه
On lifting of biadjoints and lax algebras
Given a pseudomonad $mathcal{T} $ on a $2$-category $mathfrak{B} $, if a right biadjoint $mathfrak{A}tomathfrak{B} $ has a lifting to the pseudoalgebras $mathfrak{A}tomathsf{Ps}textrm{-}mathcal{T}textrm{-}mathsf{Alg} $ then this lifting is also right biadjoint provided that $mathfrak{A} $ has codescent objects. In this paper, we give general results on lifting of biadjoints. As a consequence, ...
متن کامل5 M ar 2 00 8 Algebras of higher operads as enriched categories
We decribe the correspondence between normalised ω-operads in the sense of [1] and certain lax monoidal structures on the category of globular sets. As with ordinary monoidal categories, one has a notion of category enriched in a lax monoidal category. Within the aforementioned correspondence, we provide also an equivalence between the algebras of a given normalised ωoperad, and categories enri...
متن کاملLimits for Lax Morphisms
We investigate limits in the 2-category of strict algebras and lax morphisms for a 2-monad. This includes both the 2-category of monoidal categories and monoidal functors as well as the 2-category of monoidal categories and opomonoidal functors, among many other examples.
متن کاملLax Kleisli-valued presheaves and coalgebraic weak bisimulation
We generalize the work by Sobociński on relational presheaves and their connection with weak (bi)simulation for labelled transistion systems to a coalgebraic setting. We show that the coalgebraic notion of saturation studied in our previous work can be expressed in the language of lax functors in terms of existence of a certain adjunction between categories of lax functors. This observation all...
متن کاملSteps toward the weak higher category of weak higher categories in the globular setting
We start this article by rebuilding higher operads of weak higher transformations, and correct those in cite{Cambat}. As in cite{Cambat} we propose an operadic approach for weak higher $n$-transformations, for each $ninmathbb{N}$, where such weak higher $n$-transformations are seen as algebras for specific contractible higher operads. The last chapter of this article asserts that, up to precise...
متن کامل